type Foo = true
